Floating point

Results: 1574



#Item
131

WG14 N2003 C Floating Point Study Group Teleconference March 15, AM PST / 12 PM EST Conference ID:

Add to Reading List

Source URL: www.open-std.org

Language: English
    132Computer arithmetic / Mathematics / Numerical analysis / Computing / Mathematical analysis / Arithmetic / Rounding / Precision / Extended precision / IEEE floating point / Determinant / NaN

    Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications

    Add to Reading List

    Source URL: www.lri.fr

    Language: English - Date: 2009-04-03 13:56:10
    133Mathematics / Computer arithmetic / Arithmetic / Numerical analysis / IEEE standards / Interval arithmetic / Interval / Rounding / 0.999... / IEEE floating point / NaN / Global optimization

    Vienna proposal for interval standardization Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria

    Add to Reading List

    Source URL: www.mat.univie.ac.at

    Language: English - Date: 2008-12-22 10:20:17
    134

    MPFR The Multiple Precision Floating-Point Reliable Library 高品質多倍長浮動小数点ライブラリ EditionSeptember 2005

    Add to Reading List

    Source URL: na-inet.jp

    Language: Japanese - Date: 2014-05-04 08:55:52
      135

      Real Numbers IEEE 754 Floating Point Arithmetic

      Add to Reading List

      Source URL: www.cs.nott.ac.uk

      Language: English - Date: 2008-10-30 10:42:04
        136Software engineering / Computing / Computer programming / C / Data types / Undefined behavior / Integer overflow / Printf format string / Objective-C / C99 / Floating point / Arithmetic overflow

        Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

        Add to Reading List

        Source URL: www.cs.utah.edu

        Language: English - Date: 2012-03-30 12:02:04
        137

        WG14 N1992 Meeting notes C Floating Point Study Group Teleconference AM PST / 12 PM EST

        Add to Reading List

        Source URL: www.open-std.org

        Language: English - Date: 2016-01-06 16:44:28
          138

          WG14 N1998 Meeting notes C Floating Point Study Group Teleconference AM PST / 12 PM EST

          Add to Reading List

          Source URL: www.open-std.org

          Language: English - Date: 2016-02-08 12:29:21
            139Computing / Software / Null / Literal / Expr

            AngularJS Expressions Literals Integer Floating point Scientific notation

            Add to Reading List

            Source URL: teropa.info

            Language: English - Date: 2016-05-30 12:08:56
            140Computer algebra / Computer arithmetic / Algebra / Numerical analysis / Polynomials / Interval arithmetic / Automatic differentiation / Floating point / Polynomial / Remainder / Symbolic computation / Interval

            JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

            Add to Reading List

            Source URL: www.lri.fr

            Language: English - Date: 2015-10-06 03:32:12
            UPDATE